<html><head></head><body>
This is the documentation for <a href="http://www.prismmodelchecker.org/">PRISM<a>'s Java code: for the discrete-event simulation engine, see {@link simulator.SimulatorEngine}; for the explicit-state probabilistic model checking and abstraction-refinement, see package {@link explicit}.
</body></html>
